propositional logic 예문

• This is the modus ponens rule of propositional logic .
  변수 a 는 꽃잎의 길이를 의미한다.
• Bernays wrote a second habilitation in which he established the completeness of propositional logic; this was in fact is a study of Russell and Whitehead 's Principia Mathematica , and uses ideas from Schröder .
  베르나이 스와는 그가 propositional 논리의 완전성을 설립 번째 habilitation 썼습니다;이 사실 러셀과 화이트 헤드 'Mathematica 원리들 중 연구 및 슈뢰더에서 아이디어를 사용합니다.
• The purpose of this investigation is to carry out the primary part of Hilbert 's programme, i.e. to establish the consistency of set theory, abstract arithmetic and propositional logic and the method used is to construct a new and fundamental theory from which these theories can be deduced.
  이 조사의 목적은 교슈님 '즉, 집합 이론의 일관성을 확립하는 프로그램의 주요 부분을 수행하는 것입니다, 추상 propositional 산술 논리와 방법을 사용하고있는이 가설이있을 수있는 새로운 및 기초 이론을 구축하는 것입니다 추론.